Verifiable Fully Homomorphic Encryption
A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security
Verifiable Decryption for Fully Homomorphic Encryption
Efficiently Verifiable Computation on Encrypted Data
Our basic idea is to encrypt the data with a somewhat homomorphic encryption scheme (for privacy),
and to add an authentication mechanism on top of the ciphertexts (for security).
暗号化のためにはmodified BV暗号の使用
authenticationのためにはhomomorphic MACsを使用
秘密鍵を使ってmessageセット($ m_1,...,m_t)に対応するtagsセットを生成することによって認証する。
そして、後に秘密鍵なしに誰でもタグを生成することができ、そのタグは以前の認証済みinputに対する関数fのoutputである$ m=f(m_1,...,m_t)を認証することができる。
検証はoriginal messageを知らずに行うことができる。
要は、全てのciphertextのためにMACを生成し、そのhomomorphic特性を利用しBV homomorphicの評価認証を行う。
https://gyazo.com/c183cce866f918d11dd29d4a0f19f6fc
https://gyazo.com/b864ee06daf55d7b0160088f146e68de
BV Encryption
somewhat homomorphic encryption scheme by Brakerski and Vaikuntanathan (BV)
based on the hardness of the polynomial learning with error problem (which is a simplified version of the ring LWE problem
Homomorphic MACs
Practical Homomorphic MACs for Arithmetic Circuits
(Leveled) Fully Homomorphic Encryption without Bootstrapping
HEAAN: ~x40
Chimera